implication in logic

welcome to shbcf.ru